Some Further Thoughts on Expressiveness and Tractability
نویسنده
چکیده
Since the mid 1980s, there has been considerable research studying the expressiveness and the tractability of various description logics. In this talk, we consider this issue as it was then and now. We argue that an overly strict interpretation may have caused the work on description logic to be seen as less relevant than it used to be to the general AI enterprise.
منابع مشابه
On the numerical solution of integral equations of the fourth kind with higher index: differentiability and tractability index-3
In this paper, we consider a particular class of integral equations of the fourth kind and show that tractability and differentiability index of the given system are 3. Tractability and dierentiability index are introduced based on the-smoothing property of a Volterra integral operator and index reduction procedure, respectively. Using the notion of index, we give sucient conditions for the exi...
متن کاملEvaluation of the Effectiveness of Emotional safety training on beliefs about Marital Relationship, Sexual Expressiveness and function in Women with Marital Conflicts
Introduction and goal: Marriage is one of the most important interpersonal relationships that many people experience and it is a social institution based on which a man and a woman decide to live together as a couple through a legal, religious and moral obligation. They get married based on specific goals and wish to experience a stable and satisfying life. But when couples live a stable and sa...
متن کاملThree Perspectives on Change
We investigate the problem of formalizing and modeling edits to treebased data structures, evaluating the relative merits of three different approaches inspired by version control systems and database management. The first provides a theoretical backdrop, anchoring the discussion; the second boasts simplicity as well as a tractable algorithm for computing an approximately minimal edit; the thir...
متن کاملDistributions on Minimalist Grammar Derivations
We present three ways of inducing probability distributions on derivation trees produced by Minimalist Grammars, and give their maximum likelihood estimators. We argue that a parameterization based on locally normalized log-linear models balances competing requirements for modeling expressiveness and computational tractability.
متن کاملEffectiveness of Mindfulness-Based Stress Reduction Training on Emotional Expressiveness and Fear of Hypoglycemia in Patients with Type 2 Diabetes
Objective: Diabetes is a common chronic disorder in which there is a high risk of physical complications and psychological problems such as hypoglycemia and inability to express emotions. Psychological interventions can be effective in this regard. The aim of this study was to investigate the effectiveness of mindfulness-based stress reduction (MBSR) training on emotional expressiveness and fea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007